首页> 外文OA文献 >Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs?

【2h】

Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs?

机译：嵌入式关键并行C程序中运行时错误的静态分析？

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者

展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs [J] . AntoineMineacute Logical Methods in Computer Science . 2012,第1期

机译：嵌入式实时并行C程序中运行时错误的静态分析
2. Reliability Analysis of Six Unit Bridge and Parallel Series Networks With Critical and Non-Critical Human Errors [J] . T. Suvarna, A. Mallikarjuna Reddy Bulletin of Pure and Applied Sciences, Sec. E. Mathematics & statistics . 2018,第1期

机译：六个单元桥和并联系列网络的可靠性分析，具有危急和非关键人体错误
3. Stochastic analysis of a non-identical two-unit parallel system with common-cause failure, critical human error, non-critical human error, preventive maintenance and two type of repair [J] . M. S. EL-Sherbeny International Journal of Reliability and Applications . 2010,第2期

机译：具有常见原因故障，严重人为错误，非严重人为错误，预防性维护和两种维修的不相同的两单元并行系统的随机分析
4. Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs [C] . Antoine Mine Programming languages and systems . 2011

机译：嵌入式关键并行C程序中运行时错误的静态分析
5. Detecting concurrency errors in OpenMP programs using static program analysis . [D] . Jarrard, Rory N. 2011

机译：使用静态程序分析检测OpenMP程序中的并发错误。
6. Analysis of the Errors in the Electrostatically Embedded Many-Body Expansion of the Energy and the Correlation Energy for Zn and Cd Coordination Complexes with Five and Six Ligands and Use of the Analysis to Develop a Generally Successful Fragmentation Strategy [O] . Elbek K. Kurbanov, Hannah R. Leverentz, Donald G. Truhlar, -1

机译：Zn和Cd五配体和六配体配合物的静电嵌入多体能和相关能的扩展中的误差分析并使用该分析方法开发出普遍成功的裂解策略
7. Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs [O] . Miné, Antoine 2011

机译：嵌入式关键并行C程序中运行时错误的静态分析
8. Program Flow Graph Construction for Static Analysis of Explicitly Parallel Message-Passing Programs [R] . Shires, D. R. , Pollock, L. 2000

机译：显式并行消息传递程序静态分析的程序流程图构造

Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs?

著录项

引文网络

相似文献

相关主题

期刊订阅